временная логика

См. также в других словарях:

• ВРЕМЕННАЯ ЛОГИКА —     ВРЕМЕННАЯ ЛОГИКА раздел современных неклассических логик, в котором изучаются высказывания с истинностными значениями, изменяющимися во времени. Технически последнее оформляется посредством временных операторов, которые, будучи… …   Философская энциклопедия

• временная логика —         ВРЕМЕННАЯ ЛОГИКА раздел неклассической логики; в ней изучаются рассуждения, построенные из суждений, выражаемых высказываниями с истинностными значениями, приуроченными к определенному времени. Ее возникновение (нач. 1950 х), а также во… …   Энциклопедия эпистемологии и философии науки

• временная логика — раздел современной модальной логики, изучающий логические связи временных утверждений, т. е. утверждений, в которых временной параметр включается в логическую форму. Л. в. начала складываться в 50 е годы XX в. прежде всего благодаря работам англ …   Словарь терминов логики

• ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… …   Философская энциклопедия

• логика в компьютерных науках —         ЛОГИКА В КОМПЬЮТЕРНЫХ НАУКАХ способы прикладного использования логики, подразделяемые на четыре основных направления. Первое логика как теоретический инструмент при проектировании вычислительных устройств. Второе реализация логических… …   Энциклопедия эпистемологии и философии науки

• Логика Бэрроуза — Логика Бэрроуза  Абади  Нидхэма (англ. Burrows Abadi Needham logic) или BAN логика (англ. BAN logic)  это формальная логическая модель для анализа знания и доверия, широко используемая при анализе протоколов… …   Википедия

• Логика — Гр …   Википедия

• Логика (философия) — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος  «речь», «рассуждение»)  наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …   Википедия

• Логика формальная — (logic, formal), наука, изучающая формы мысли (понятия, суждения, умозаключения, доказательства). Предметом Л.ф. является не содержание умозаключения, а его логическая структура. Напр., умозаключения все люди смертны; Сократ человек; след.,… …   Народы и культуры

• Асинхронная логика — Содержание 1 Принцип самосинхронности 2 Краткая история …   Википедия

• ВРЕМЕНИ ЛОГИКА — или Временная логика, раздел современной модальной логики, изучающий логические связи временных утверждений, т.е. утверждений, в которых временной параметр включается в логическую форму. В.л. начала складываться в 1950 е гг. прежде всего… …   Философская энциклопедия